首页> 外文OA文献 >Formal Verification of a Cooperative Automatic Repeat Request MAC Protocol

【2h】

Formal Verification of a Cooperative Automatic Repeat Request MAC Protocol

机译：协作自动重复请求MAC协议的形式验证

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Xin He; Ram Kumar; Liping Mu; Terje Gjøsæter;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal verification of a Cooperative Automatic Repeat reQuest MAC protocol [J] . Xin He, Ram Kumar, Liping Mu, Computer standards & interfaces . 2012,第4期

机译：协作自动重复请求MAC协议的形式验证
2. Queuing analysis of the selective repeat automatic repeat request protocol wireless packet networks [J] . Fantacci R. IEEE Transactions on Vehicular Technology . 1996,第2期

机译：选择性重发自动重发请求协议无线分组网络的排队分析
3. Statistical delay bounds for automatic repeat request protocols with pipelining [J] . Akselrod Mark, Fidler Markus Performance Evaluation . 2019,第Nova期

机译：具有流水线的自动重复请求协议的统计延迟范围
4. A Multi-Relay Cooperative Automatic Repeat Request Protocol in Wireless Networks [C] . He, X., Li, F. Y. IEEE International Conference on Communications;ICC 2010 . 2010

机译：无线网络中的多中继协作自动重发请求协议
5. Variable-Length Coding Incremental Redundancy Hybrid Automatic Repeat reQuest (HARQ) over Fading Channels [D] . Khosravirad, Saeed R. 2015

机译：可变长度编码增量冗余混合混合型混合型自动重复请求（HARQ）在衰落通道上
6. OCA-MAC: A Cooperative TDMA-Based MAC Protocol for Vehicular Ad Hoc Networks [O] . Yao Liu, Hongjing Zhou, Jiawei Huang 2019

机译：OCA-MAC：车载Ad Hoc网络的基于合作TDMA的MAC协议
7. Formal verification of a Cooperative Automatic Repeat reQuest MAC protocol [O] . He Xin, Kumar Ram, Mu Liping, 2012

机译：协作自动重复请求MAC协议的形式验证

Formal Verification of a Cooperative Automatic Repeat Request MAC Protocol

著录项

引文网络

相似文献

相关主题

期刊订阅